1. Infinitary logic : in memoriam Carol Karp
پدیدآورنده : a collection of papers by various authors; edited by D. W. Kueker
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Infinitary languages,Addresses, essays, lectures ، Model theory
رده :
QA
3
.
L28
Vol
.
492
2. Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
پدیدآورنده : edited by D. W. Kueker
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Addresses, essays, lectures ، Infinitary languages,Addresses, essays, lectures ، Model theory,، Karp, Carol, 6291-2791
رده :
QA
1
.
L4
v
.
492
3. Infinitary logic: in memoriam Carol Karp: a collection of papers by various authors
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Karp, Carol,6291-2791,، Infinitary languages,، Model theory
رده :
QA
3
.
L28
no
.
492
4. Large infinitary languages
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Infinitary languages. ; Model theory. ;
5. Large infinitary languages : model theory
پدیدآورنده : Dickmann, M A
موضوع : ، Infinitary languages,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Infinitary languages,، Model theory
رده :
QA
9
.
K33
7. Model theory for infinitely deep languages /
پدیدآورنده : Maaret Karttunen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Infinitary languages.,Model theory.
رده :
QA1
.
S96
no
.
50
8. Model theory for infintary logic; logic with countalble conjunctions and finite quantifiers
پدیدآورنده : / H. Jerome Keisler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Infinitary languages,Model theory
رده :
511
.
3
K27
9. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Infinitary languages,، Model theory
رده :
QA
9
.
K33
